Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
axiom temporal logic Conjunctive Normal Form standard deviation proof FORMAL formula sanity check A. K. Erlang normal distribution Poisson distribution Disjunctive Normal Form ABC ALGOL FORMAC MADCAP SYMBAL Formula ALGOL Zermelo Frankel set theory FOCAL Fortran scalability entropy De Bruijn notation Zermelo set theory HEPiX quantifier acronym Component Integration Laboratories L-Soft Cayenne Software symbolic mathematics Case Integration Services String Oriented Symbolic Language Coalition for Networked Information model checking X Consortium constructed type AST Research, Inc. Unix International core gateway terpri hiragana AST Computers, LLC fencepost error Birds Of a Feather International Multimedia Teleconferencing Consortium katakana Martian Internet Corporation for Assigned Names and Numbers Corporation for Research and Educational Networking Known Lazy Bastard Common Command Set Convergent Technologies SPACEWAR cascade mudhead first-order logic Carl Friedrich Gauss RTL/2 dual-attached more...